Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
421	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.usthb.dz Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
422	Galit Shmueli SRITNE Chaired Professor of Data Analytics, Indian School of Business Galit Shmueli is SRITNE Chaired Professor of Data Analytics and Associate Professor of Statistics & Information Systems at the Indian Sc Add to Reading List Source URL: www.nasscom.in Language: English - Date: 2014-06-20 04:19:45 Data management Formal sciences Statistics Visualization Scientific modeling Business analytics Analytics Data mining Data visualization Science Data analysis Business intelligence
423	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.md.tsukuba.ac.jp Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
424	Attivio’s Solutions for Oil & Gas Analytics Improve Productivity, Operational Efficiency and Safety by Pulling Signals Derived from Structured Data & Unstructured Content Operational insight is critical in the Oil & Ga Add to Reading List Source URL: info.attivio.com Language: English Statistics Formal sciences Natural language processing Science Data management Analytics Text analytics Attivio Business intelligence Data analysis
425	Call for Papers Special Issue of the Journal of Emerging Technologies in Accounting “Data Analytics and Business Decisions using Financial and Non-Financial Information in Big Data Environment”. The Journal of Emergi Add to Reading List Source URL: aaahq.org Language: English - Date: 2015-03-25 10:55:57 Risk management Business intelligence Formal sciences Data analysis Analytics Mathematical finance Risk Text analytics Generally accepted accounting principles Management Science Business
426	BigExcel: A Web-Based Framework for Exploring Big Data in Social Sciences Muhammed Asif Saleem, Blesson Varghese and Adam Barker School of Computer Science, University of St Andrews St Andrews, Fife, UK KY16 9SX Email: { Add to Reading List Source URL: bighumanities.files.wordpress.com Language: English - Date: 2014-10-26 22:37:52 Business intelligence Formal sciences Emerging technologies Cloud infrastructure Cloud computing Apache Hadoop Big data Data analysis ADAPA Computing Science Technology
427	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.uni-muenster.de Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
428	1 Research Summary The primary focus of my research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems, Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:12:54 Science Automata theory Formal methods Concurrent computing Scientific modeling Model checking Unified Modeling Language Finite-state machine Modeling language Computing Theoretical computer science Models of computation
429	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
430	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: www.vps.fmvz.usp.br Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software

UPDATE